GUI for Geometric Inference Engine on Internet

We are developing a geometric inference system on Internet. A rough geometric figure drawn by a student is transformed into an ideal one that satisfies the assumptions. The system extracts particular patterns in this figure and tries to connect the assumptions and the conclusion. The present paper extends the visualization of the proof by introducing a multiple view which consists of (a) sentence view,(b) inference tree view,and (c) figure view. The sentence view gives a proof written in usual sentence. The inference tree view shows a diagrammatic inference tree whose leaves are assumptions and whose root is the conclusion. Each pattern has three appearances in the multiple view. And they are related to each other. When the student clicks a pattern in one view, the counter parts are highlighted simultaneously in other view. With this system, students can learn geometric inference visually and interactively.